221. Sets, models and recursion theory. Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
پدیدآورنده : Edited by John N. Crossley
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
S86
1965
222. Special Functions: Group Theoretical Aspects and Applications
پدیدآورنده : edited by R. A. Askey, T. H. Koornwinder, W. Schempp.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Global analysis (Mathematics).,Mathematics.
223. String-Math 2014.
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : K-theory.
رده :
QA564
.
S77
2014
224. String theory and quantum gravity :
پدیدآورنده : edited by M. Green [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Quantum gravity, Congresses.,String models, Congresses.,Kongress,Quantengravitation,Quantum gravity.,SCIENCE-- Physics-- Quantum Theory.,String models.,Stringtheorie
رده :
QC794
.
6
.
S85
225. Structure of matter, structure of mind :
پدیدآورنده : William L. Abler.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Arithmetic.,Brain-- Evolution.,Cognitive neuroscience.,Human evolution.,Language and languages-- Origin.,Linguistics.,Mathematical ability.,Natural selection.,Neurolinguistics.,Philosophy of mind.,Arithmetic.,Brain-- Evolution.,Cognitive neuroscience.,Human evolution.,Language and languages-- Origin.,LANGUAGE ARTS & DISCIPLINES-- Linguistics-- Historical & Comparative.,Linguistics.,Mathematical ability.,Natural selection.,Neurolinguistics.,Philosophy of mind.
رده :
P33
.
A23
2005eb
226. Subsystems of Second Order Arithmetic
پدیدآورنده : by Stephen G. Simpson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
HF1008
.
B978
1999
227. Symmetries and recursion operators for classical and supersymmetric differential equations
پدیدآورنده : / by I.S. Krasil?shchik and P.H.M. Kersten
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Differential equations, Nonlinear,Conservation laws (Mathematics),Symmetry (Physics)
رده :
E-BOOK
228. Teaching and learning discrete mathematics worldwide :
پدیدآورنده : Eric W. Hart, James Sandefur, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
229. Techniques admissible recursion theory
پدیدآورنده : Chong, Chi Tat
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Recursion theory
رده :
QA
3
.
L28
no
.
1106
230. Techniques of admissible recursion theory
پدیدآورنده : Chong, Chi-Tat, 9491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursion theory
رده :
QA
3
.
L28
Vol
.
1106
231. Techniques of admissible recursion theory
پدیدآورنده : Chong, Chi-Tat
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
C45
1984
232. Techniques of admissible recursion theory
پدیدآورنده : Chong, Chi-Tat
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Recursion theory
رده :
QA
1
.
L4
v
.
1106
233. Techniques of admissible recursion theory
پدیدآورنده : Chong, C.-T. )Chi-Tat(
موضوع : ، Recursion theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
234. The Canterbury Tales and Chaucer's Corrective Form
پدیدآورنده : Crosson, Chad Gregory
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
235. The Kleene Symposium : proceedings of the Symposium, held June 18-24, 1978 at Madison, Wisconsin, U.S.A
پدیدآورنده : edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Recursion theory,Congresses ، Intuitionistic mathematics,، Kleene, Stephen Cole, 9091-4991
رده :
QA
9
.
6
.
K53
1978
236. The Recursion Method and Its Applications :
پدیدآورنده : edited by D.G. Pettifor, D.L. Weaire.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematical physics.,Physics.
237. The Recursion method and its applications : Proceedings of the Conference, Imperial College, London, England, September 13-14, 1984
پدیدآورنده : editors, D.G. Pettifor and D.L. Weaire
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Methodology -- Congresses ، Solid state physics,Congresses ، Recursion theory
رده :
QC
176
.
A1R43
1985
238. The Role of Inflection in Scandinavian Syntax.
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Scandinavian languages-- Inflection.,Scandinavian languages-- Syntax.,Scandinavian languages-- Syntax.
رده :
PD1701
.
H656
1995
239. The Turing omnibus :
پدیدآورنده : A.K. Dewdney.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computers.,Electronic data processing.,Computers.,Computers.,Electronic data processing.,Informatica.,Informatik,Informatique.,Ordinateur.,Toepassingen.
رده :
QA76
.
D45
1989
240. The beginning of heaven and Earth has no name :
پدیدآورنده : Heinz von Foerster ; edited by Albert Müller and Karl H. Müller ; translated by Elinor Rooks and Michael Kasenbacher
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cybernetics,Knowledge, Theory of,Science-- Philosophy
رده :
Q310
.
V6613
2014
